Theoretical computer science

Results: 9916



#Item
361Theory of computation / Theoretical computer science / Computability theory / Computer science / Alan Turing / Turing machine / Computational complexity theory / Computability / Reduction / Halting problem / Complexity / ChurchTuring thesis

MCS 441 – Theory of Computation I Syllabus Lev Reyzin SpringTime and Location: M-W-F, 12:00-12:50pm, Lincoln Hall (TH) 205

Add to Reading List

Source URL: homepages.math.uic.edu

Language: English - Date: 2016-01-11 11:14:04
362Finite automata / Computability / Deterministic automaton / Computational complexity theory / Deterministic finite automaton / Finite-state machine / Regular language / Reduction / Algorithm / Theoretical computer science / Mathematics / Cognitive science

J. EDUCATIONAL COMPUTING RESEARCH, Vol, 2005 SOLVING PROBLEMS REDUCTIVELY MICHAL ARMONI The Open University of Israel and School of Education, Tel-Aviv University

Add to Reading List

Source URL: www.openu.ac.il

Language: English - Date: 2007-10-29 03:55:14
363Submodular set function / Reduction / Economic model / Algorithm / Mathematics / Mathematical optimization / Cognitive science / Theoretical computer science

An effective technique for solving optimization problems over massive data sets is to partition the data into smaller pieces, solve the problem on each piece and compute a representative solution from it, and finally obt

Add to Reading List

Source URL: mmds-data.org

Language: English - Date: 2016-06-23 15:50:48
364Bioinformatics / Computational phylogenetics / Biology / FASTA / Phylogenetic network / Sequence alignment / Transmission Control Protocol / Mathematical and theoretical biology / Computer network / Science

NetworkUser Guide Version date: 24 December 2015 Copyright © 2015 Fluxus Technology Ltd. All rights reserved. Legal Disclaimer :

Add to Reading List

Source URL: fluxus-technology.com

Language: English - Date: 2016-01-02 10:44:50
365Computer science / Computing / Theoretical computer science / Search algorithms / Computer programming / Interval tree / Segment tree / Range tree / FO / Lowest common ancestor / Bin / Level ancestor problem

Range Thresholding on Streams Miao Qiao Junhao Gan Yufei Tao

Add to Reading List

Source URL: staff.itee.uq.edu.au

Language: English - Date: 2016-04-16 04:52:33
366Formal methods / Theoretical computer science / FO / Finite model theory / Model checking / Linguistics / B-Method / Rodin / Control / Predicate / Cognitive science

Meta-Predicates for Rodin Sebastian Krings Institut f¨ ur Informatik, Universit¨ at D¨ usseldorf

Add to Reading List

Source URL: wiki.event-b.org

Language: English - Date: 2016-05-20 11:24:18
367Mathematical optimization / Computer file formats / Constraint programming / Theoretical computer science / CPLEX / Computing / ILOG / Sol / Nl / Computer science

COSC
480/MATH
482
 CPLEX
Installation
and
Usage
Guide
 September
24,
2012
 
 For
Mac:
 


Add to Reading List

Source URL: faculty.smcm.edu

Language: English - Date: 2012-09-24 20:53:46
368Computational complexity theory / Theory of computation / Algorithms / Theoretical computer science / Analysis of algorithms / Probabilistic complexity theory / Streaming algorithm / Property testing / Randomized algorithm / Sequence / NC / Sampling

Algorithmica: 67–80 DOI: s00453Algorithmica ©

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2002-07-02 08:00:25
369Computational complexity theory / Theory of computation / Mathematics / Operations research / Complexity classes / Mathematical optimization / Structural complexity theory / Theoretical computer science / NP / Linear programming / Algorithm / Reduction

A maximum feasible linear subsystem problem for modeling noise pollution around airports Sandra Hommersom)

Add to Reading List

Source URL: www.math.ru.nl

Language: English - Date: 2016-04-12 05:51:20
370Theory of computation / Complexity classes / Mathematics / Theoretical computer science / Valuation / Submodular set function / NC / NP / Reduction / P/poly

On the Hardness of Being Truthful Christos Papadimitriou Michael Schapira

Add to Reading List

Source URL: www.dcg.ethz.ch

Language: English - Date: 2014-09-26 08:28:56
UPDATE